perm filename PREDIC.BNF[BNF,JRA]1 blob
sn#022408 filedate 1973-02-02 generic text, type T, neo UTF8
00100 <PREDIC>::= ANCESTRY =>ANCESTRY
00110 ::= NONE => NONE
00120 ::= VINE => VINE
00140 ::= UNIT => UNIT
00200 ::= P1 => ALLPOS
00300 ::= P2=>ALLNEG
00400 ::=SUPPORT[<C>] =>(SUPPORT . C)
00500 ::=MODEL[<PREDLST>;<PREDLST1>] =>(MODEL PREDLST PREDLST1)
00550 ::=EQUALITY[<OP>,<NUMBER>] =>(EQUALITY OP NUMBER)
00562
00575 ::=DEMOD[<CLAUSES>,<NUMBER>] =>(DEMOD CLAUSES NUMBER)
00600 ::=DEFMODEL[ID] => (DEFMODEL . ID)
00700 ::=@<LISPR> => LISPR
00800 ::= <TERM0><OPR><TERM> =>(OPR TERM0 TERM)
00900
01000 <PREDLST1> ::= <PREDLST> =>*
01100
01200 <PREDLST> ::= <ID>,<PREDLST> => (ID . PREDLST)
01300 ::= <ID> => ID
01400 ::= => NIL
01500
01600 END